🔒 Language-based security - matmat · Scour

Towards Security-Auditable LLM Agents: A Unified Graph Representation 🌳Archive Merkle Trees

DeepSeek-v4-Pro and Hermes: Unauthorized Modification of Security Controls 🌳Archive Merkle Trees

eddieoz.com·5d·Hacker News

Agentic AI token compression using Haskell 🔠Type-Level Programming

blog.dan-gilmour.com·8h·Hacker News

Security-hardened OpenCode fork 🛡️WASM Sandboxing

lockedcode.ai·1d·Hacker News

ARGUS: Defending LLM Agents Against Context-Aware Prompt Injection ⚡Proof Automation

When the Ruler is Broken: Parsing-Induced Suppression in LLM-Based Security Log Evaluation 🧪Binary Fuzzing

An Automated Framework for Cybersecurity Policy Compliance Assessment Against Security Control Standards 🛡Cybersecurity

Exposing LLM Safety Gaps Through Mathematical Encoding:New Attacks and Systematic Analysis 💻Local LLMs

GLiGuard: Schema-Conditioned Classification for LLM Safeguard 💻Local LLMs

When Agents Handle Secrets: A Survey of Confidential Computing for Agentic AI 🌳Archive Merkle Trees

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers 🔤DSLs

Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation 🦀Rust Macros

AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing 🧪Binary Fuzzing

SkCC: Portable and Secure Skill Compilation for Cross-Framework LLM Agents 🌐Protocol Synthesis

Pen-Strategist: A Reasoning Framework for Penetration Testing Strategy Formation and Analysis 🎯Proof Tactics

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense 🎯Threat Hunting

Agentic Vulnerability Reasoning on Windows COM Binaries 🧪Binary Fuzzing

Dependency-Aware Privacy for Multi-turn Agents 🔒WASM Capabilities

Securing the Agent: Vendor-Neutral, Multitenant Enterprise Retrieval and Tool Use 🕵️LDAP Enumeration

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics 📏Linear Logic

Log in to enable infinite scrolling